CYES-C++: A Concurrent Extension of C++ through Compositional Mechanisms

This paper describes a concurrent extension of the C++ programming language[1]. The extended C++ language, which we call CYES-C++, supports highly concurrent objects, implements a general concurrent method invocation mechanism, fully integrates the notion of inheritance with concurrency, and supports reusability of both method and synchronization specifications. The computational model [4] for CYES-C++ is derived by integrating the ideas of a general model of computation, called the C-YES model[3], within the framework of the object-oriented paradigm. The major components of C-YES model of parallel computation are: i) separation of specification of computational behavior of components and specification of interactions among the components, and (ii) declarative specification of interaction as algebraic expressions over events. These ideas are incorporated in CYES-C++ by representing a concurrent object as a composition of two separate entities, methods and interaction specifications. Interactions among methods of objects are represented by algebraic expressions that capture semantic relationships among specific invocations of the methods. Also, concurrent method invocations in CYES-C++ are represented as a concurrent composition of invoking and invoked methods and expressions that define interaction between the methods. Separation of computation and interaction specification supports extensibility of concurrent classes through inheritance. This paper is organized as follows: in section 2 we briefly describe the CYES-C++ computational model. We then present the various aspects of the language with suitable examples in section 3. In section 4, we give direction for future work along with some conclusions.